وجود مدلهای ضعیف حساب در میدانهای بسته حقیقی ناارشمیدسی

thesis
  • وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس
  • author سالم برزگر
  • adviser مجتبی منیری
  • Number of pages: First 15 pages
  • publication year 1378
abstract

هر زیر حلقه گسسته یک میدان مرتب که هر عضو میدان را با خطای کمتر از واحد (به طور معادل با خطای متناهی) تقریب می زند یک جزء صحیح آن میدان نامیده می شود. جزء صحیحهای میدانهای بسته حقیقی بنا به قضیه شفردسون دقیقا مدلهای زیر نظریه ای از حساب پئانو می باشند که استقراء را به فرمولهای خالی از سور محدود می نماید. مدل استاندارد حساب (حلقه اعداد صحیح) یک (و تنها) حزء صحیح هر مدل ارشمیدسی نظریه کامل میدانهای بسته حقیقی (هر میدان بسته حقیق مشمول r) می باشد. در مدلهای ناارشمیدس (اما بنا به قضیه تارسکی لزوما هم ارز مقدماتی با r) برای این نظریه، وجود جزء صحیح و در نتیجه مدل استقرار باز توسط mourgues-ressayre در مقاله مشترک آنها در سال 1993 ثابت شد. در همین سال boughattas در مقاله خود در jsl میدانهای مرتب -p بسته حقیقی، برای ح دلخواه، ساخت که فاقد جزء صحیح هستند. به علاوه او نشان داد که هر میدان مرتب دارای فراتوانی شامل سگ جزء صحیح و در نتیجه مدل استقرار باز است . در این پایان نامه توصیفی از نتایج مذکور ارائه می گردد.

First 15 pages

Signup for downloading 15 first pages

Already have an account?login

similar resources

میدان های بسته حقیقی و مدل های حساب پئانو

زیرحلقه مرتب گسسته ‎i‎ از میدان بسته حقیقی ‎r‎ یک بخش صحیح برای ‎r‎ گفته می شود هرگاه برای هر x در r‎ عضو ‎i در i‎ موجود باشد که ‎i < x < i+1‎. در حدود نیم قرن پیش شفردسون نشان داد که یک حلقه مرتب گسسته ‎i‎ یک بخش صحیح برای یک میدان مرتب بسته حقیقی ‎r‎ است اگر و تنها اگر ‎i‎ یک مدل استقرای باز باشد. در مقاله ای که این پایان نامه بر اساس آن نوشته می شود، نشان داده شده است که اگر بخش صحیح ‎i‎...

ملاحظاتی در حساب دقیق حقیقی

روش معمول و متداول برای نمایش اعداد حقیقی استفاده از سیستم ممیز شناور است . انجام محاسبات در این سیستم می تواند باعث انباشتگی خطای ناشی از گردکردن و ایجاد یک خطای بزرگ در نتیجه نهایی و با توجه به این که هیچ قضیه ای برای محدود کردن مقدار این خطا در حالت کلی وجود ندارد، مساله مذکور یک مشکل اساسی برای این سیستم به شمار می رود. در حساب دقیق حقیقی، یک مدل برای نمایش اعداد و انجام محاسبات بدون گردکرد...

15 صفحه اول

اثرcasimirدرحضور میدانهای گرانشی ضعیف

تاثیر حضر میدان گرانشی ضعیف بر دانسیته انرژی خلاء کازیمیر مرد بررسی قرار گرفت. تا تقریب مرتبه دوم اثر این نیرو مورد ارزیابی قرار گرفت.

بررسی مدلهای تأخیر در میدانهای شهری

شبکه‎ی راه‎های شهری شامل خیابان‎ها و تقاطع‎ها است و معمولاً ظرفیت و کارایی شبکه‎ی راه‎ها توسط تقاطع‎های هم سطح کنترل می‎شوند. انتخاب نوع مناسب تقاطع با توجه به کارایی و ایمنی صورت می‎گیرد، به این ترتیب در هر منطقه با توجه به شرایط محیطی، ترافیکی و ... نوع خاصی از تقاطع مناسب است. یکی از انواع تقاطع‎های هم سطح، میدان بدون ‎چراغ است که معمولاً در شرایط ترافیک سبک تا متوسط از نظر کارایی و ایمنی دارا...

15 صفحه اول

مطالعه مدلهای انزژی تاریک مبتنی بر میدانهای اسکالر در کیهانشناسی

در این پایان نامه ما به مطالعه بعضی از مدلهای پدیده شناختی برای انرژی تاریک می پردازیم. رفتار یک میدان نرده ای چاملونی که به شکل غیر کمینال با انرژی تاریک جفت گردیده است در یک فضا-زمان frw در حالت k=0 مورد بررسی قرار می گیرد. کیهانشناسی برانس-دیکی چاملون در چارچوب مدل های frw در حالت k=0 و بیانکی نوع i را مورد مطالعه قرار می دهیم. با انتخاب یک جایگزینی مناسب برای میدان های نرده ای برانس-دیکی تح...

محاسبه پارامترهای ضریب فعالیت در مدلهای ترمودینامیکی با استفاده ازدمای اشتعال محفظه بسته

در تحقیق حاضر دمای اشتعال ترکیب­های دوجزیی اتانول+اکتان نرمال،1-پروپانول+اکتان نرمال،1-پروپانول+دکان نرمال و هم­چنین دکان نرمال+اکتان نرمال در فشار اتمسفریک اندازه گیری شد. با استفاده از دماهای اشتعال آزمایشگاهی، پارامترهای برهمکنش دوتایی ترکیب­های یادشده در مدلهای ترمودینامیکی Wilson,NRTLوUNIQUAC  محاسبه شد. هم­چنین غلظت­ های تعادلی بخار- مایع برای ترکیب دوجزئی اتانول+ اکتان نرمال با استفاده ا...

full text

My Resources

Save resource for easier access later

Save to my library Already added to my library

{@ msg_add @}


document type: thesis

وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس

Hosted on Doprax cloud platform doprax.com

copyright © 2015-2023